| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| facts.txt | Text File | 54 | 2KB | 1998-04-08 |
| realp1.txt | Text File | 393 | 19KB | 1998-04-08 |
| realp2.txt | Text File | 396 | 20KB | 1998-04-08 |
| realp3.txt | Text File | 388 | 20KB | 1998-04-08 |
| realp4.txt | Text File | 398 | 19KB | 1998-04-08 |
| realp5.txt | Text File | 394 | 19KB | 1998-04-08 |
| realp6.txt | Text File | 395 | 20KB | 1998-04-08 |
| realp7.txt | Text File | 64 | 3KB | 1998-04-08 |